3.108 \(\int \frac {\log (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}) \log (\frac {b (e+f x)}{b e-a f})}{(a+b x) (c+d x)} \, dx\)

Optimal. Leaf size=433 \[ -\frac {\text {Li}_3\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{b c-a d}-\frac {\text {Li}_2\left (\frac {b (c+d x)}{d (a+b x)}\right ) \log \left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{b c-a d}+\frac {\text {Li}_2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{b c-a d}-\frac {\log \left (-\frac {b c-a d}{d (a+b x)}\right ) \log ^2\left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{2 (b c-a d)}-\frac {\log \left (\frac {b (e+f x)}{b e-a f}\right ) \log ^2\left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{2 (b c-a d)}+\frac {\log \left (1-\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right ) \log ^2\left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{2 (b c-a d)}+\frac {\text {Li}_3\left (\frac {b (c+d x)}{d (a+b x)}\right )}{b c-a d} \]

[Out]

-1/2*ln((a*d-b*c)/d/(b*x+a))*ln((-a*f+b*e)*(d*x+c)/(-c*f+d*e)/(b*x+a))^2/(-a*d+b*c)-1/2*ln((-a*f+b*e)*(d*x+c)/
(-c*f+d*e)/(b*x+a))^2*ln(b*(f*x+e)/(-a*f+b*e))/(-a*d+b*c)+1/2*ln((-a*f+b*e)*(d*x+c)/(-c*f+d*e)/(b*x+a))^2*ln(1
-(-a*f+b*e)*(d*x+c)/(-c*f+d*e)/(b*x+a))/(-a*d+b*c)-ln((-a*f+b*e)*(d*x+c)/(-c*f+d*e)/(b*x+a))*polylog(2,b*(d*x+
c)/d/(b*x+a))/(-a*d+b*c)+ln((-a*f+b*e)*(d*x+c)/(-c*f+d*e)/(b*x+a))*polylog(2,(-a*f+b*e)*(d*x+c)/(-c*f+d*e)/(b*
x+a))/(-a*d+b*c)+polylog(3,b*(d*x+c)/d/(b*x+a))/(-a*d+b*c)-polylog(3,(-a*f+b*e)*(d*x+c)/(-c*f+d*e)/(b*x+a))/(-
a*d+b*c)

________________________________________________________________________________________

Rubi [A]  time = 0.59, antiderivative size = 445, normalized size of antiderivative = 1.03, number of steps used = 8, number of rules used = 6, integrand size = 65, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.092, Rules used = {2507, 2489, 2488, 2506, 6610, 2503} \[ -\frac {\text {PolyLog}\left (3,1-\frac {(e+f x) (b c-a d)}{(c+d x) (b e-a f)}\right )}{b c-a d}+\frac {\text {PolyLog}\left (2,1-\frac {b c-a d}{b (c+d x)}\right ) \log \left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{b c-a d}-\frac {\log \left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right ) \text {PolyLog}\left (2,1-\frac {(e+f x) (b c-a d)}{(c+d x) (b e-a f)}\right )}{b c-a d}+\frac {\text {PolyLog}\left (3,1-\frac {b c-a d}{b (c+d x)}\right )}{b c-a d}-\frac {\log \left (\frac {b c-a d}{b (c+d x)}\right ) \log ^2\left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{2 (b c-a d)}-\frac {\log \left (\frac {b (e+f x)}{b e-a f}\right ) \log ^2\left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{2 (b c-a d)}+\frac {\log \left (\frac {(e+f x) (b c-a d)}{(c+d x) (b e-a f)}\right ) \log ^2\left (\frac {(c+d x) (b e-a f)}{(a+b x) (d e-c f)}\right )}{2 (b c-a d)} \]

Antiderivative was successfully verified.

[In]

Int[(Log[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]*Log[(b*(e + f*x))/(b*e - a*f)])/((a + b*x)*(c + d*x)
),x]

[Out]

-(Log[(b*c - a*d)/(b*(c + d*x))]*Log[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]^2)/(2*(b*c - a*d)) - (Lo
g[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]^2*Log[(b*(e + f*x))/(b*e - a*f)])/(2*(b*c - a*d)) + (Log[((
b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]^2*Log[((b*c - a*d)*(e + f*x))/((b*e - a*f)*(c + d*x))])/(2*(b*c
- a*d)) + (Log[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]*PolyLog[2, 1 - (b*c - a*d)/(b*(c + d*x))])/(b
*c - a*d) - (Log[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]*PolyLog[2, 1 - ((b*c - a*d)*(e + f*x))/((b*e
- a*f)*(c + d*x))])/(b*c - a*d) + PolyLog[3, 1 - (b*c - a*d)/(b*(c + d*x))]/(b*c - a*d) - PolyLog[3, 1 - ((b*
c - a*d)*(e + f*x))/((b*e - a*f)*(c + d*x))]/(b*c - a*d)

Rule 2488

Int[Log[(e_.)*((f_.)*((a_.) + (b_.)*(x_))^(p_.)*((c_.) + (d_.)*(x_))^(q_.))^(r_.)]^(s_.)/((g_.) + (h_.)*(x_)),
x_Symbol] :> -Simp[(Log[-((b*c - a*d)/(d*(a + b*x)))]*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^s)/h, x] + Dist[(p
*r*s*(b*c - a*d))/h, Int[(Log[-((b*c - a*d)/(d*(a + b*x)))]*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^(s - 1))/((a
+ b*x)*(c + d*x)), x], x] /; FreeQ[{a, b, c, d, e, f, g, h, p, q, r, s}, x] && NeQ[b*c - a*d, 0] && EqQ[p + q,
0] && EqQ[b*g - a*h, 0] && IGtQ[s, 0]

Rule 2489

Int[Log[(e_.)*((f_.)*((a_.) + (b_.)*(x_))^(p_.)*((c_.) + (d_.)*(x_))^(q_.))^(r_.)]^(s_)/((g_.) + (h_.)*(x_)),
x_Symbol] :> Dist[d/h, Int[Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^s/(c + d*x), x], x] - Dist[(d*g - c*h)/h, Int[
Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^s/((c + d*x)*(g + h*x)), x], x] /; FreeQ[{a, b, c, d, e, f, g, h, p, q, r
, s}, x] && NeQ[b*c - a*d, 0] && EqQ[p + q, 0] && NeQ[b*g - a*h, 0] && NeQ[d*g - c*h, 0] && IGtQ[s, 1]

Rule 2503

Int[Log[(e_.)*((f_.)*((a_.) + (b_.)*(x_))^(p_.)*((c_.) + (d_.)*(x_))^(q_.))^(r_.)]^(s_.)*(u_), x_Symbol] :> Wi
th[{g = Coeff[Simplify[1/(u*(a + b*x))], x, 0], h = Coeff[Simplify[1/(u*(a + b*x))], x, 1]}, -Simp[(Log[e*(f*(
a + b*x)^p*(c + d*x)^q)^r]^s*Log[-(((b*c - a*d)*(g + h*x))/((d*g - c*h)*(a + b*x)))])/(b*g - a*h), x] + Dist[(
p*r*s*(b*c - a*d))/(b*g - a*h), Int[(Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^(s - 1)*Log[-(((b*c - a*d)*(g + h*x)
)/((d*g - c*h)*(a + b*x)))])/((a + b*x)*(c + d*x)), x], x] /; NeQ[b*g - a*h, 0] && NeQ[d*g - c*h, 0]] /; FreeQ
[{a, b, c, d, e, f, p, q, r, s}, x] && NeQ[b*c - a*d, 0] && IGtQ[s, 0] && EqQ[p + q, 0] && LinearQ[Simplify[1/
(u*(a + b*x))], x]

Rule 2506

Int[Log[v_]*Log[(e_.)*((f_.)*((a_.) + (b_.)*(x_))^(p_.)*((c_.) + (d_.)*(x_))^(q_.))^(r_.)]^(s_.)*(u_), x_Symbo
l] :> With[{g = Simplify[((v - 1)*(c + d*x))/(a + b*x)], h = Simplify[u*(a + b*x)*(c + d*x)]}, -Simp[(h*PolyLo
g[2, 1 - v]*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^s)/(b*c - a*d), x] + Dist[h*p*r*s, Int[(PolyLog[2, 1 - v]*Log
[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^(s - 1))/((a + b*x)*(c + d*x)), x], x] /; FreeQ[{g, h}, x]] /; FreeQ[{a, b,
c, d, e, f, p, q, r, s}, x] && NeQ[b*c - a*d, 0] && IGtQ[s, 0] && EqQ[p + q, 0]

Rule 2507

Int[Log[(e_.)*((f_.)*((a_.) + (b_.)*(x_))^(p_.)*((c_.) + (d_.)*(x_))^(q_.))^(r_.)]^(s_.)*Log[(i_.)*((j_.)*((g_
.) + (h_.)*(x_))^(t_.))^(u_.)]*(v_), x_Symbol] :> With[{k = Simplify[v*(a + b*x)*(c + d*x)]}, Simp[(k*Log[i*(j
*(g + h*x)^t)^u]*Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^(s + 1))/(p*r*(s + 1)*(b*c - a*d)), x] - Dist[(k*h*t*u)/
(p*r*(s + 1)*(b*c - a*d)), Int[Log[e*(f*(a + b*x)^p*(c + d*x)^q)^r]^(s + 1)/(g + h*x), x], x] /; FreeQ[k, x]]
/; FreeQ[{a, b, c, d, e, f, g, h, i, j, p, q, r, s, t, u}, x] && NeQ[b*c - a*d, 0] && EqQ[p + q, 0] && NeQ[s,
-1]

Rule 6610

Int[(u_)*PolyLog[n_, v_], x_Symbol] :> With[{w = DerivativeDivides[v, u*v, x]}, Simp[w*PolyLog[n + 1, v], x] /
;  !FalseQ[w]] /; FreeQ[n, x]

Rubi steps

\begin {align*} \int \frac {\log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )}{(a+b x) (c+d x)} \, dx &=-\frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )}{2 (b c-a d)}+\frac {f \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{e+f x} \, dx}{2 (b c-a d)}\\ &=-\frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )}{2 (b c-a d)}+\frac {d \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{c+d x} \, dx}{2 (b c-a d)}-\frac {(d e-c f) \int \frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{(c+d x) (e+f x)} \, dx}{2 (b c-a d)}\\ &=-\frac {\log \left (\frac {b c-a d}{b (c+d x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{2 (b c-a d)}-\frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )}{2 (b c-a d)}+\frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {(b c-a d) (e+f x)}{(b e-a f) (c+d x)}\right )}{2 (b c-a d)}-\int \frac {\log \left (-\frac {-b c+a d}{b (c+d x)}\right ) \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{(a+b x) (c+d x)} \, dx+\int \frac {\log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (-\frac {(-b c+a d) (e+f x)}{(b e-a f) (c+d x)}\right )}{(a+b x) (c+d x)} \, dx\\ &=-\frac {\log \left (\frac {b c-a d}{b (c+d x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{2 (b c-a d)}-\frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )}{2 (b c-a d)}+\frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {(b c-a d) (e+f x)}{(b e-a f) (c+d x)}\right )}{2 (b c-a d)}+\frac {\log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text {Li}_2\left (1-\frac {b c-a d}{b (c+d x)}\right )}{b c-a d}-\frac {\log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text {Li}_2\left (1-\frac {(b c-a d) (e+f x)}{(b e-a f) (c+d x)}\right )}{b c-a d}+\int \frac {\text {Li}_2\left (1+\frac {-b c+a d}{b (c+d x)}\right )}{(a+b x) (c+d x)} \, dx-\int \frac {\text {Li}_2\left (1+\frac {(-b c+a d) (e+f x)}{(b e-a f) (c+d x)}\right )}{(a+b x) (c+d x)} \, dx\\ &=-\frac {\log \left (\frac {b c-a d}{b (c+d x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{2 (b c-a d)}-\frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )}{2 (b c-a d)}+\frac {\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {(b c-a d) (e+f x)}{(b e-a f) (c+d x)}\right )}{2 (b c-a d)}+\frac {\log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text {Li}_2\left (1-\frac {b c-a d}{b (c+d x)}\right )}{b c-a d}-\frac {\log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text {Li}_2\left (1-\frac {(b c-a d) (e+f x)}{(b e-a f) (c+d x)}\right )}{b c-a d}+\frac {\text {Li}_3\left (1-\frac {b c-a d}{b (c+d x)}\right )}{b c-a d}-\frac {\text {Li}_3\left (1-\frac {(b c-a d) (e+f x)}{(b e-a f) (c+d x)}\right )}{b c-a d}\\ \end {align*}

________________________________________________________________________________________

Mathematica [B]  time = 0.82, size = 908, normalized size = 2.10 \[ \frac {\log \left (\frac {b (e+f x)}{b e-a f}\right ) \log ^2(c+d x)-\log \left (\frac {d (e+f x)}{d e-c f}\right ) \log ^2(c+d x)-2 \log (a+b x) \log \left (\frac {b (e+f x)}{b e-a f}\right ) \log (c+d x)-2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right ) \log (c+d x)+2 \log (a+b x) \log \left (\frac {d (e+f x)}{d e-c f}\right ) \log (c+d x)+2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {d (e+f x)}{d e-c f}\right ) \log (c+d x)-\log \left (\frac {a d-b c}{d (a+b x)}\right ) \log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )-\log ^2\left (\frac {f (c+d x)}{c f-d e}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )-\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )+2 \log (a+b x) \log \left (\frac {f (c+d x)}{c f-d e}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )+2 \log \left (\frac {f (c+d x)}{c f-d e}\right ) \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {b (e+f x)}{b e-a f}\right )+\log ^2\left (\frac {f (c+d x)}{c f-d e}\right ) \log \left (\frac {d (e+f x)}{d e-c f}\right )-2 \log (a+b x) \log \left (\frac {f (c+d x)}{c f-d e}\right ) \log \left (\frac {d (e+f x)}{d e-c f}\right )-2 \log \left (\frac {f (c+d x)}{c f-d e}\right ) \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {d (e+f x)}{d e-c f}\right )+\log ^2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \log \left (\frac {(a d-b c) (e+f x)}{(d e-c f) (a+b x)}\right )-2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text {Li}_2\left (\frac {b (c+d x)}{d (a+b x)}\right )+2 \log \left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right ) \text {Li}_2\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )+2 \text {Li}_3\left (\frac {b (c+d x)}{d (a+b x)}\right )-2 \text {Li}_3\left (\frac {(b e-a f) (c+d x)}{(d e-c f) (a+b x)}\right )}{2 b c-2 a d} \]

Antiderivative was successfully verified.

[In]

Integrate[(Log[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]*Log[(b*(e + f*x))/(b*e - a*f)])/((a + b*x)*(c
+ d*x)),x]

[Out]

(-(Log[(-(b*c) + a*d)/(d*(a + b*x))]*Log[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]^2) - 2*Log[a + b*x]*
Log[c + d*x]*Log[(b*(e + f*x))/(b*e - a*f)] + Log[c + d*x]^2*Log[(b*(e + f*x))/(b*e - a*f)] + 2*Log[a + b*x]*L
og[(f*(c + d*x))/(-(d*e) + c*f)]*Log[(b*(e + f*x))/(b*e - a*f)] - Log[(f*(c + d*x))/(-(d*e) + c*f)]^2*Log[(b*(
e + f*x))/(b*e - a*f)] - 2*Log[c + d*x]*Log[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]*Log[(b*(e + f*x))
/(b*e - a*f)] + 2*Log[(f*(c + d*x))/(-(d*e) + c*f)]*Log[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]*Log[(
b*(e + f*x))/(b*e - a*f)] - Log[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]^2*Log[(b*(e + f*x))/(b*e - a*
f)] + 2*Log[a + b*x]*Log[c + d*x]*Log[(d*(e + f*x))/(d*e - c*f)] - Log[c + d*x]^2*Log[(d*(e + f*x))/(d*e - c*f
)] - 2*Log[a + b*x]*Log[(f*(c + d*x))/(-(d*e) + c*f)]*Log[(d*(e + f*x))/(d*e - c*f)] + Log[(f*(c + d*x))/(-(d*
e) + c*f)]^2*Log[(d*(e + f*x))/(d*e - c*f)] + 2*Log[c + d*x]*Log[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x
))]*Log[(d*(e + f*x))/(d*e - c*f)] - 2*Log[(f*(c + d*x))/(-(d*e) + c*f)]*Log[((b*e - a*f)*(c + d*x))/((d*e - c
*f)*(a + b*x))]*Log[(d*(e + f*x))/(d*e - c*f)] + Log[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]^2*Log[((
-(b*c) + a*d)*(e + f*x))/((d*e - c*f)*(a + b*x))] - 2*Log[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]*Pol
yLog[2, (b*(c + d*x))/(d*(a + b*x))] + 2*Log[((b*e - a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))]*PolyLog[2, ((b*e
- a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))] + 2*PolyLog[3, (b*(c + d*x))/(d*(a + b*x))] - 2*PolyLog[3, ((b*e -
a*f)*(c + d*x))/((d*e - c*f)*(a + b*x))])/(2*b*c - 2*a*d)

________________________________________________________________________________________

fricas [F]  time = 0.60, size = 0, normalized size = 0.00 \[ {\rm integral}\left (\frac {\log \left (\frac {b c e - a c f + {\left (b d e - a d f\right )} x}{a d e - a c f + {\left (b d e - b c f\right )} x}\right ) \log \left (\frac {b f x + b e}{b e - a f}\right )}{b d x^{2} + a c + {\left (b c + a d\right )} x}, x\right ) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(log((-a*f+b*e)*(d*x+c)/(-c*f+d*e)/(b*x+a))*log(b*(f*x+e)/(-a*f+b*e))/(b*x+a)/(d*x+c),x, algorithm="f
ricas")

[Out]

integral(log((b*c*e - a*c*f + (b*d*e - a*d*f)*x)/(a*d*e - a*c*f + (b*d*e - b*c*f)*x))*log((b*f*x + b*e)/(b*e -
a*f))/(b*d*x^2 + a*c + (b*c + a*d)*x), x)

________________________________________________________________________________________

giac [F]  time = 0.00, size = 0, normalized size = 0.00 \[ \int \frac {\log \left (\frac {{\left (f x + e\right )} b}{b e - a f}\right ) \log \left (\frac {{\left (b e - a f\right )} {\left (d x + c\right )}}{{\left (d e - c f\right )} {\left (b x + a\right )}}\right )}{{\left (b x + a\right )} {\left (d x + c\right )}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(log((-a*f+b*e)*(d*x+c)/(-c*f+d*e)/(b*x+a))*log(b*(f*x+e)/(-a*f+b*e))/(b*x+a)/(d*x+c),x, algorithm="g
iac")

[Out]

integrate(log((f*x + e)*b/(b*e - a*f))*log((b*e - a*f)*(d*x + c)/((d*e - c*f)*(b*x + a)))/((b*x + a)*(d*x + c)
), x)

________________________________________________________________________________________

maple [F]  time = 3.09, size = 0, normalized size = 0.00 \[ \int \frac {\ln \left (\frac {\left (f x +e \right ) b}{-a f +b e}\right ) \ln \left (\frac {\left (-a f +b e \right ) \left (d x +c \right )}{\left (-c f +d e \right ) \left (b x +a \right )}\right )}{\left (b x +a \right ) \left (d x +c \right )}\, dx \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(ln((-a*f+b*e)*(d*x+c)/(-c*f+d*e)/(b*x+a))*ln(b*(f*x+e)/(-a*f+b*e))/(b*x+a)/(d*x+c),x)

[Out]

int(ln((-a*f+b*e)*(d*x+c)/(-c*f+d*e)/(b*x+a))*ln(b*(f*x+e)/(-a*f+b*e))/(b*x+a)/(d*x+c),x)

________________________________________________________________________________________

maxima [F(-2)]  time = 0.00, size = 0, normalized size = 0.00 \[ \text {Exception raised: RuntimeError} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(log((-a*f+b*e)*(d*x+c)/(-c*f+d*e)/(b*x+a))*log(b*(f*x+e)/(-a*f+b*e))/(b*x+a)/(d*x+c),x, algorithm="m
axima")

[Out]

Exception raised: RuntimeError >> ECL says: Memory limit reached. Please jump to an outer pointer, quit progra
m and enlarge thememory limits before executing the program again.

________________________________________________________________________________________

mupad [F]  time = 0.00, size = -1, normalized size = -0.00 \[ \int \frac {\ln \left (-\frac {b\,\left (e+f\,x\right )}{a\,f-b\,e}\right )\,\ln \left (\frac {\left (a\,f-b\,e\right )\,\left (c+d\,x\right )}{\left (c\,f-d\,e\right )\,\left (a+b\,x\right )}\right )}{\left (a+b\,x\right )\,\left (c+d\,x\right )} \,d x \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((log(-(b*(e + f*x))/(a*f - b*e))*log(((a*f - b*e)*(c + d*x))/((c*f - d*e)*(a + b*x))))/((a + b*x)*(c + d*x
)),x)

[Out]

int((log(-(b*(e + f*x))/(a*f - b*e))*log(((a*f - b*e)*(c + d*x))/((c*f - d*e)*(a + b*x))))/((a + b*x)*(c + d*x
)), x)

________________________________________________________________________________________

sympy [F(-1)]  time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(ln((-a*f+b*e)*(d*x+c)/(-c*f+d*e)/(b*x+a))*ln(b*(f*x+e)/(-a*f+b*e))/(b*x+a)/(d*x+c),x)

[Out]

Timed out

________________________________________________________________________________________